perm filename NONMON[W82,JMC] blob sn#638807 filedate 1982-01-31 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	nonmon[w82,jmc]		The two kinds of non-monotonic reasoning
C00003 ENDMK
CāŠ—;
nonmon[w82,jmc]		The two kinds of non-monotonic reasoning

	There seem to be two kinds of formalized non-monotonic reasoning.
One is called default reasoning, and the other is circumscription.
However, circumscription overlaps what is called the "closed world
assumption".

	Circumscription can sometimes be reduced to default reasoning by
ascending to a meta-level.  Thus we could have a default that
a domain has no more elements than can be proved to be in it.